Horn clause

Een logische uitdrukking met nul of meer voorwaarden die leidt tot een enkelvoudige conclusie.